35.66/40.15	unsat
