6.49/6.54	unsat
