28.71/39.55	unsat
