18.44/21.33	unsat
