20.92/23.94	unsat
