6.28/6.54	unsat
