6.47/6.54	unsat
