13.78/14.78	unsat
