13.96/17.43	unsat
