6.18/9.54	unsat
