14.86/18.05	unsat
