8.68/11.30	unsat
