30.50/34.14	unsat
