92.89/94.45	unsat
