12.78/13.90	unsat
