12.19/12.63	unsat
