13.96/16.46	unsat
