39.83/39.97	unsat
