19.55/21.28	unsat
