18.85/20.14	unsat
