40.49/40.56	unsat
