12.36/14.19	unsat
