9.77/15.86	unsat
