13.96/18.05	unsat
