20.81/21.42	unsat
