8.52/13.29	unsat
