39.69/39.86	unsat
