20.92/21.03	unsat
