39.80/39.99	unsat
