19.45/20.14	unsat
