10.77/15.36	unsat
