13.44/16.08	unsat
