39.77/42.60	unsat
