5.43/6.55	unsat
