21.92/22.03	unsat
