12.77/15.73	unsat
