19.55/20.28	unsat
