6.17/6.54	unsat
