19.87/20.60	unsat
