14.81/21.63	unsat
