10.75/12.94	unsat
