5.09/8.26	unsat
