14.83/22.84	unsat
