5.18/6.55	unsat
