21.92/26.51	unsat
