5.95/8.75	unsat
