5.18/8.77	unsat
