13.86/16.05	unsat
