26.14/39.45	unsat
