21.25/21.39	unsat
