10.77/15.45	unsat
