10.74/13.63	unsat
