12.24/18.85	unsat
