13.96/14.05	unsat
