39.34/42.91	unsat
