14.13/22.47	unsat
