5.98/8.56	unsat
