12.66/14.55	unsat
