5.34/5.70	unsat
