12.78/12.95	unsat
