39.21/39.52	unsat
