5.69/8.55	unsat
