5.43/7.96	unsat
