15.96/19.05	unsat
