12.78/14.02	unsat
