39.56/39.95	unsat
