5.34/5.55	unsat
