12.77/15.89	unsat
