6.45/6.55	unsat
