40.07/76.97	unsat
