40.43/45.56	unsat
