15.50/19.14	unsat
