6.75/14.61	unsat
