13.57/19.43	unsat
