92.48/94.39	unsat
