13.96/16.18	unsat
