13.96/17.39	unsat
